Axiomatic system

noun

noun ·Uncommon ·Advanced level

Definitions

Noun
  1. 1
    A set of axioms from which theorems can be derived.
  2. 2
    any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. wordnet